Retrieving "Derivative/($/text{function}$)" from the archives

Consulting the archives... Dusting off the volumes... Cross-referencing the indices... Deciphering the manuscripts... Examining the folios... Perusing the card catalog... Searching the stacks... Investigating the compendium... Reviewing the scrolls... Sifting through the records...